$\forall$$P$:(Unit$\rightarrow\mathbb{P}$). Dec($P$($\cdot$)) $\Rightarrow$ Dec($\exists$$x$:Unit. $P$($x$))